package com.googlecode.kipler.satisfiability.reasoner;

/**
 * The exception thrown by the reasoner when a new branching point has been
 * added.
 * 
 * @author İnanç Seylan
 */
public class BranchingException extends ReasonerException {

	/**
	 * 
	 */
	private static final long serialVersionUID = -1147627301243936382L;

}
